<?php

  Interface IFloat {

    function floatValue();

    function toString();

    function __toString();

    static function parseFloat($value);
  }

?>
